Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
181	Applied Mathematical Sciences, Vol. 4, 2010, no. 69, [removed]On Searching Intuitionistic Fuzzy Add to Reading List Source URL: m-hikari.com Language: English - Date: 2010-10-18 13:37:45 Mathematics Fuzzy control system Fuzzy set Shortest path problem Intuitionism Negation Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
182	Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Logic in computer science Type theory Entailment Metalogic Valuation Intuitionistic type theory Curry–Howard correspondence Logic Deduction Dependently typed programming
183	Topology via higher-order intuitionistic logic Working version of 18th March 2004 These evolving notes will eventually be used to write a paper Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-07 09:46:28 Compact space Subbase Sheaf Continuous function Open set Topological space Sierpiński space Baire space Cover Topology General topology Topos
184	Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2003-04-22 14:53:24 Logic in computer science Philosophical logic Non-classical logic Propositional calculus Proof theory Combinatory logic Natural deduction Curry–Howard correspondence Modal logic Logic Mathematical logic Mathematics
185	Final year project Bertus: Implementing Observational Equality Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-09-05 05:05:27 Type theory Logic in computer science Dependently typed programming Lambda calculus Mathematical constructivism Intuitionistic type theory Proof assistant Dependent type Coq Mathematics Logic Theoretical computer science
186	The Realizability Approach to Computable Analysis and Topology Andrej Bauer Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:18:33 Mathematical constructivism Logic in computer science Algebraic structures Realizability Categorical logic Function Intuitionistic logic Combinatory logic First-order logic Mathematical logic Mathematics Logic
187	[removed]Supplementary Notes: Higher-Order Logic Robert Harper Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-01-05 16:58:46 Propositional calculus Predicate logic Universal quantification First-order logic Well-formed formula Existential quantification Negation Intuitionistic logic Proposition Logic Mathematical logic Quantification
188	Two Constructivist Aspects of Category Theory Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2011-07-29 14:32:40 Mathematical constructivism Intuitionism Category theory Higher category theory Constructivism Topos Axiom of choice Intuitionistic logic Category Mathematics Mathematical logic Logic
189	Theoretical Elsevier Add to Reading List Source URL: www.univr.it Language: English - Date: 2012-11-16 08:23:50 Non-classical logic Substructural logic Logic in computer science Predicate logic Sequent calculus Intuitionistic logic First-order logic Atomic formula Natural deduction Logic Mathematical logic Proof theory
190	Mathematical Logic Helmut Schwichtenberg Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2010-07-21 04:18:08 Predicate logic Propositional calculus Logical syntax Proof theory First-order logic Natural deduction Well-formed formula Atomic formula Intuitionistic logic Logic Mathematical logic Mathematics

UPDATE